Abstract interpretation - PDFSEARCH.IO - Document Search Engine

Abstract interpretation
Results: 510

#	Item
421	School Governance On-Reserve: An Unsatisfactory State of Affairs John Richards 19 February, 2014 Abstract This paper provides a brief historical review of interpretation of Aboriginal education treaty rights. It also off Add to Reading List Source URL: www.csls.ca Language: English - Date: 2014-04-14 16:54:33 Ethnic groups in Canada Indigenous peoples of North America First Nations Métis people Aboriginal peoples in Canada Americas History of North America
422	IS ABSTRACTION THE KEY TO COMPUTING? Why is it that some software engineers and computer scientists are able to produce clear, elegant designs and programs, while others cannot? Is it possible to improve these skills thr Add to Reading List Source URL: www.apluscollegeready.org Language: English - Date: 2014-02-24 12:43:46 Cognition Computing Abstraction Data management Model checking Concept Abstract interpretation Software engineering Computer science Programming paradigms Thought Mind
423	Section for Court Interpreters of the Association of Scientific and Technical Translators of Slovenia Abstract The article outlines the work of the Section for Court Interpreters of the Association of Scientific and Tec Add to Reading List Source URL: www.eulita.eu Language: English - Date: 2014-04-01 05:41:13 Meaning Interpretation Translation studies Association of Maine Interpreters and Translators Pacific Interpreters Translation Language interpretation Legal translation
424	Checking Finite Traces using Alternating Automata ∗ Bernd Finkbeiner and Henny Sipma Computer Science Department, Stanford University Stanford, CA[removed]Abstract. Alternating automata have been commonly used as a basi Add to Reading List Source URL: www.verisoft.de Language: English - Date: 2013-04-11 05:48:57 Logic Model theory Theoretical computer science Linear temporal logic Temporal logic Ω-automaton Model checking Interpretation Structure Automata theory Formal languages Mathematics
425	Water wave problems, their mathematical solution and physical interpretation ∗ F. URSELL Department of Mathematics, Manchester University, M13 9PL, U.K. ([removed]) September 23, 2005 Add to Reading List Source URL: web.mit.edu Language: English - Date: 2006-05-31 05:00:24 Polar coordinate system Mathematical analysis Exponentiation Fourier analysis Trigonometry Coordinate systems Abstract algebra Mathematics
426	Anomalous kinematic types of the earthquakes at Mid Atlantic Ridge and their geodynamic interpretation Sokolov S.Y. (Geological institute RAS, [removed] ) Abstract volume Russian-RIDGE VI. VNIIOkeanologiya. St- Add to Reading List Source URL: atlantic.ginras.ru Language: English - Date: 2009-09-23 05:57:13 Plate tectonics Tectonics Geodynamics Focal mechanism Transform fault Fault Earthquake Geology Structural geology Seismology
427	Slender Planing Surfaces E.O. Tuck The University of Adelaide, Australia 5005 Abstract A theory for slender planing surfaces of general shape at high Froude number was formulated by Casling [1]. Although this theory was Add to Reading List Source URL: web.mit.edu Language: English - Date: 2006-06-05 06:56:02 Mathematics Independence Interpretation Structure Symbol Model theory Μ operator Logic
428	Memory clinics to enrich common heritage Jean-François Leclerc Centre d’histoire de Montréal Abstract: An urban history interpretation centre and city museum, the Centre d’histoire de Montréal has, for many years, Add to Reading List Source URL: canada.metropolis.net Language: English - Date: 2010-04-12 08:52:16 Tourism Cultural heritage Museum Intangible cultural heritage Old Montreal Collective memory Pointe-à-Callière Museum Culture Museology Cultural studies
429	The Miraculous Consilience of Quantum Mechanics Malcolm R. Forster Department of Philosophy, University of Wisconsin-Madison September 5, 2004 ABSTRACT: Some quantum mechanical phenomena are notoriously hard to Add to Reading List Source URL: philosophy.wisc.edu Language: English - Date: 2011-09-15 11:57:01 Interpretation Philosophy of science Interpretations of quantum mechanics Double-slit experiment Introduction to quantum mechanics Causality Hidden variable theory Probability Physics Quantum mechanics Quantum measurement
430	To appear in Proceedings of Sinn und Bedeutung 18. Explaining leftward focus association with even but not only∗ Michael Yoshitaka ERLEWINE — Massachusetts Institute of Technology Abstract. The ability of English V Add to Reading List Source URL: mitcho.com Language: English - Date: 2014-02-07 12:04:41 Science Abstraction Predicate logic Model theory Philosophical logic Quantification Predicate Interpretation Semantics Logic Linguistics

UPDATE